Formale Verifikation digitaler Systeme mit Petrinetzen

Die Arbeit beschäftigt sich mit dem Entwurf und der Verifikation digitaler Systeme. Ziel ist die Modellierung und formale Verifikation digitaler Systeme mit Petrinetzen auf funktionaler Ebene. Im ersten Teil der Arbeit wird eine petrinetz-basierte Hardware-Entwurfsmethodik vorgeschlagen. Petrinetze werden als Beschreibungsmittel für digitale Systeme und als Werkzeug für deren Simulation, Validierung, Analyse und Verifikation genutzt. Die formale Verifikation eines Petrinetz-Modells wird mit der Methode der Eigenschaftsprüfung realisiert

Impact of Three Different Light Spectra on the Yield, Morphology and Growth Trajectory of Three Different Cannabis sativa L. Strains

Cannabis is one of the oldest cultivated plants, but plant breeding and cultivation are restricted by country specific regulations. Plant growth, morphology and metabolism can be manipulated by changing light quality and intensity. Three morphologically different strains were grown under three different light spectra with three real light repetitions. Light dispersion was included into the statistical evaluation. The light spectra considered had an influence on the morphology of the plant, especially the height. Here, the shade avoidance induced by the lower R:FR ratio under the ceramic metal halide lamp (CHD) was of particular interest. The sugar leaves seemed to be of elementary importance in the last growth phase for yield composition. Furthermore, the last four weeks of flowering were crucial to influence the yield composition of Cannabis sativa L. through light spectra. The dry flower yield was significantly higher under both LED treatments compared to the conventional CHD light source. Our results indicate that the plant morphology can be artificially manipulated by the choice of light treatment to create shorter plants with more lateral branches which seem to be beneficial for yield development. Furthermore, the choice of cultivar has to be taken into account when interpreting results of light studies, as Cannabis sativa L. subspecies and thus bred strains highly differ in their phenotypic characteristics

Impact of Three Different Light Spectra on the Yield, Morphology and Growth Trajectory of Three Different Cannabis sativa L. Strains

Cannabis is one of the oldest cultivated plants, but plant breeding and cultivation are restricted by country specific regulations. Plant growth, morphology and metabolism can be manipulated by changing light quality and intensity. Three morphologically different strains were grown under three different light spectra with three real light repetitions. Light dispersion was included into the statistical evaluation. The light spectra considered had an influence on the morphology of the plant, especially the height. Here, the shade avoidance induced by the lower R:FR ratio under the ceramic metal halide lamp (CHD) was of particular interest. The sugar leaves seemed to be of elementary importance in the last growth phase for yield composition. Furthermore, the last four weeks of flowering were crucial to influence the yield composition of Cannabis sativa L. through light spectra. The dry flower yield was significantly higher under both LED treatments compared to the conventional CHD light source. Our results indicate that the plant morphology can be artificially manipulated by the choice of light treatment to create shorter plants with more lateral branches which seem to be beneficial for yield development. Furthermore, the choice of cultivar has to be taken into account when interpreting results of light studies, as Cannabis sativa L. subspecies and thus bred strains highly differ in their phenotypic characteristics

F-labeled glycoconjugate of PD156707 for imaging ET A receptor expression in thyroid carcinoma by positron emission tomography

Abstract: Disturbances of the endothelin axis have been described in tumor angiogenesis and in highly vascularized tumors, such as thyroid carcinoma. Consequently, the endothelin (ET) receptor offers a molecular target for the visualization of the endothelin system in vivo by positron emission tomography (PET). We therefore endeavoured to develop a subtype-selective ET A receptor (ET A R) radioligand by introduction of a glycosyl moiety as a hydrophilic building block into the lead compound PD156707. Employing click chemistry we synthesized the triazolyl conjugated fluoroglucosyl derivative 1 that had high selectivity for ET A R (4.5 nM) over ET B R (1.2 µM)

Structure-Function Relationship of a Plant NCS1 Member – Homology Modeling and Mutagenesis Identified Residues Critical for Substrate Specificity of PLUTO, a Nucleobase Transporter from Arabidopsis

<div><p>Plastidic uracil salvage is essential for plant growth and development. So far, PLUTO, the plastidic nucleobase transporter from <i>Arabidopsis thaliana</i> is the only known uracil importer at the inner plastidic membrane which represents the permeability barrier of this organelle. We present the first homology model of PLUTO, the sole plant NCS1 member from Arabidopsis based on the crystal structure of the benzyl hydantoin transporter MHP1 from <i>Microbacterium liquefaciens</i> and validated by molecular dynamics simulations. Polar side chains of residues Glu-227 and backbones of Val-145, Gly-147 and Thr-425 are proposed to form the binding site for the three PLUTO substrates uracil, adenine and guanine. Mutational analysis and competition studies identified Glu-227 as an important residue for uracil and to a lesser extent for guanine transport. A differential response in substrate transport was apparent with PLUTO double mutants E227Q G147Q and E227Q T425A, both of which most strongly affected adenine transport, and in V145A G147Q, which markedly affected guanine transport. These differences could be explained by docking studies, showing that uracil and guanine exhibit a similar binding mode whereas adenine binds deep into the catalytic pocket of PLUTO. Furthermore, competition studies confirmed these results. The present study defines the molecular determinants for PLUTO substrate binding and demonstrates key differences in structure-function relations between PLUTO and other NCS1 family members.</p></div